Program families: Program construction by context independent refinements
نویسندگان
چکیده
منابع مشابه
Program Families: Program Construction by Context Independent Refinements
The concept of program families is a generalisation of the conventional stepwise refinement paradigm. We formalise program families by allowing Hoare-triplets to be parameterized. Next WC derive a simple calculus to develop programs which are known a priori to bc correct with respect to explicitly formulated preand postconditions. Program families deal with at least two important problems of co...
متن کاملProgram Construction by Parts
Given a specication that includes a number of user requirements , we wish to focus on the requirements in turn, and derive a partly dened program for each; then combine all the partly dened programs into a single program that satises all the requirements simultaneously. In this paper we introduces a mathematical basis for solving this problem ; and we illustrate it by means of a simple example.
متن کاملProving program refinements and transformations
In this thesis we develop a theory of program refinement and equivalence which can be used to develop practical tools for program development, analysis and modification. The theory is based on the use of general specifications and an imperative kernel language. We use weakest preconditions, expressed as formulae in infinitary logic to prove refinement and equivalence between programs. The kerne...
متن کاملCompilation Using Correct-by-Construction Program Synthesis
Extracting and compiling certified programs may introduce bugs in otherwise proven-correct code, reducing the extent of the guarantees that proof assistants and correct-byconstruction program-derivation frameworks provide. We present a novel approach to the extraction and compilation of embedded domain-specific languages developed in a proof assistant (Coq), showing how it allows us to extend c...
متن کاملAbstract of the dissertation “ Operating System Construction by Aspect Orientation and Program Families ”
of the dissertation “Operating System Construction by Aspect Orientation and Program Families”
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1998
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(97)00018-x